Tabular Expressions in Software Engineering
نویسنده
چکیده
Tabular expressions (tables) have been used in the software development process for more than twenty years. In addition, research has been ongoing to develop semantics for tabular expressions. At this stage in the history of tabular expressions we see a slight split between those working to improve the semantic understanding of tables, and those using tables to document real industrial software projects. Those conducting research in the semantics of tables have their sights set on expressive mathematical models of tables that are general enough to cope with all known forms of tabular expressions, and that can be used as the basis for software tool support of tables. The other group uses tables in real-world projects under the normal constraints of schedule, budget and the skill set of current software professionals. Thus, champions of tabular expressions for use in industry are focussed on developing notations and approaches that will be accepted and useful in an industrial setting. To bridge both worlds, we present here a brief history of tabular expressions, motivation for the development of semantics for tables, a description of a semantic definition of tables, and a discussion on notation and use of tables in practice based on many years of experience of using tables in industrial software development projects. Key-words: condition table, function table, tabular expression, tabular semantics, formal specification, documentation
منابع مشابه
Tabular Expressions and Their Relational Semantics
Tabular Expressions (Parnas et al. [20, 28, 32, 33]) are means to represent the complex relations that are used to specify or document software systems. A formal model and a semantics for tabular expressions are presented. The model covers most known types of tables used in software engineering, and admits precise classification and definition of new types of tables. The practical importance of...
متن کاملConverting Software Cost Reduction Tables into Tabular Expressions
Tabular expressions and the Software Cost Reduction (SCR) method are table-based specification techniques. Both of them were successfully used in practice, especially to formally specify software requirements. Tabular expressions have rather precise semantics, while SCR semantics are more intuition based. In this paper, we want to improve SCR semantics. For that, we show how to convert the SCR ...
متن کاملOn a formal semantics of tabular expressions
In Parnas et al advocate the use of relational model for doc umenting the intended behaviour of programs In this method tabular expres sions or tables are used to improve readability so that formal documentation can replace conventional documentation Parnas describes several classes of tables and provides their formal syntax and semantics In this paper an alternative more general and more homog...
متن کاملTowards a uniform relational semantics for tabular expressions
Parnas et al have proposed tabular expressions as a means to represent the complex rela tions that are used to specify or document software systems The idea is that a tabular expression is much easier to understand and verify than a long linear formula Tabular expressions are in tended to supplement not replace notations used by engineers They were found to be useful for describing large mathem...
متن کاملRequirements Analysis for Engineering Computation
This paper argues that the reliability of engineering computation can be significantly improved by adopting software engineering methodologies for requirements analysis and specification. The argument centers around the fact that the only way to judge the reliability of a system is by comparison to a specification of the requirements. This paper also points to methods for documenting the requir...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009